- resolution rule
- правило резолюции
English-Russian dictionary of computer science. 2015.
resolution rule
Смотреть что такое "resolution rule" в других словарях:
Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… … Wikipedia
rule — 1 n 1 a: a prescribed guide for conduct or action b: a regulating principle or precept 2 a: an order or directive issued by a court in a particular proceeding esp. upon petition of a party to the proceeding that commands an officer or party to… … Law dictionary
Resolution — may refer to: Resolution (audio), a measure of digital audio quality Resolution (logic), a rule of inference used for automated theorem proving Resolution (law), a written motion adopted by a deliberative body Resolution (debate), the statement… … Wikipedia
Rule by decree — is a style of governance allowing quick, unchallenged creation of law by a single person or group, and is used primarily by dictators and absolute monarchs, although philosophers such as Giorgio Agamben have argued that it has been generalized… … Wikipedia
Rule of Rose — Infobox VG title = Rule of Rose developer = Punchline publisher = Sony Computer Entertainment(JP) Atlus (US) 505 GameStreet (EUR) distributor = Ingram Entertainment (EU) designer = engine = version = released = JPN January 19, 2006 NA September… … Wikipedia
Resolution on Taiwan's Future — The Resolution on Taiwan s Future (zh tpwp|t=台灣前途決議文|p=Táiwān qiántú juéyìwén|w=T ai² wan¹ ch ien² t u² chüeh² i⁴ wen²|poj=Tâi oân chiân tô· koat gī bûn) is a document ratified by the Democratic Progressive Party during its eighth annual national … Wikipedia
Résolution 2079 de l'Assemblée générale des Nations unies — Les Nations unies face au conflit sino tibétain … Wikipédia en Français
Resolution to renew the determination for peace on the basis of lessons learned from history — The nihongo|Resolution to Renew the Determination for Peace on the Basis of Lessons Learned from History|歴史を教訓に平和への決意を新たにする決議|Rekishi o Kyōkun ni Heiwa he no Ketsui o Arata ni suru Ketsugi, also known as Fusen Ketsugi, is a nihongo|Diet… … Wikipedia
Resolution 2758 der UN-Generalversammlung — Die Resolution 2758 der UN Generalversammlung betraf die Wiederherstellung der Rechte der Volksrepublik China in den Vereinten Nationen in der 1976. Sitzung der Generalversammlung der Vereinten Nationen vom 25. Oktober 1971. Die… … Deutsch Wikipedia
Resolution of the Dreyfus Affair — Trial of Esterhazy for forgeryOn the same day as this arrest the examining magistrate Bertulus, disregarding the threats and entreaties directed at him, on his own initiative (as an official note put it) sent Major Esterhazy and his mistress,… … Wikipedia
rule in Wild's Case — See first resolution in Wild s Case; second resolution in Wild s Case … Ballentine's law dictionary
